Model-based Testing in Agile Software Development

With rising ubiquity of software, its quality is becoming more and more important, but harder to achieve. Model-based testing (MBT) and agile development (AD) are the two major approaches to solve this dilemma. We analyze their operational conditions and investigate how MBT can improve AD and vice versa. We conclude that strongly integrating both is the most fruitful combination. The two key requirements on MBT for AD are flexibility and rapid delivery. They can be met by underspecifying the models that MBT uses. But for current MBT techniques, underspecification has an adverse effect on efficiency, coverage and reproducibility. We believe all three aspects will be improved by a new method called lazy on-the-fly MBT, which we currently research.